package symbolrt.synthesis;

import symbolrt.base.TIOSTS;
import symbolrt.manager.DataManager;

public class ATMTest extends GenericTest {

	@Override
	protected TIOSTS setupProcessedModel() {
		String[] args = { "./examples/ATM.str", "WithdrawalTransation1", "TP1" };
		DataManager.start(args);
		return SynthesisUnit.getProcessedSpec();
	}

	@Override
	protected TIOSTS setupModel() {
		return UtilTest.createAtmSPEC();
	}

}
